This chapter contains sections titled: A Socialist Project for Public Education? Interpreting Gramscian Thought in the Brazilian Context: Trends and Tribulations Final Considerations Notes References.

Este artigo recorda os principais aspectos e motivações da Expedição Langsdorff, missão de reconhecimento do interior do Brasil iniciada em 1821, composta pelo cônsul russo barão Langsdorff, o pintor alemão Moritz Rugendas, Aimé-Adrien Taunay, Nicolas-Antoine Taunay, o polígrafo Hercules Florence e o especialista em mapas Néster G. Rubtsov. Busca diferenças entre esta expedição e iniciativas outras, a título de exemplo, as dos bandeirantes e jesuítas, bem como a expedição indigenista de Rondon, e propõe o aprofundamento das investiga­ções. Apresenta atributos resgatados (...) pela poesia brasileira contemporânea e elementos cons­titutivos da identidade cultural brasileira presentes na Expedição Langsdorff, os quais os auto­res sugerem ser relevantes para pesquisadores do tema e para a inserção do Brasil no contexto internacional político, diplomático e econômico nos tempos hodiernos. (shrink)

Introduction: Physical distancing under the coronavirus disease 2019 pandemic had a significant impact on lifestyles, including exercise routines. In this study, we examined the relationship between mental health and addictive behaviors, such as excessive exercise and the use of image and performance enhancing drugs across 12 sport disciplines.Materials and methods: A large cross-sectional sample of the adult population was surveyed. The mean age was 33.09. The number of male participants was 668. The use of IPEDs was assessed in conjunction with (...) psychometric measures such as the Exercise Addiction Inventory and the Appearance Anxiety Inventory. The participants were grouped into activity group and non-activity group according to the presence or absence of their exercise habits. The results were compared between these groups, as well as across sport disciplines, while taking into account the relationship between different psychological measures and IPEDs consumption.Results: The frequency of IPEDs use was higher among AG than NAG, although AG participants reported less history of addictions than NAG. The logistic regression analysis revealed that scores equal to or above cutoff points, in both the EAI and AAI, predicted the IPEDs use. Regarding the differences across the various sport disciplines, those who were involved in practicing Weight Lifting and Cross Fit were found to be more at risk of excessive exercising and more inclined to use a wide range of IPEDs.Conclusions: Although exercise could help to increase well-being and prevent addictions during the COVID-19 pandemic, our results show that those in the AG are particularly vulnerable to excessive IPEDs use. Sport disciplines associated with higher EAI and AAI scores have also shown a higher tendency to excessive IPEDs use. Furthermore, the factor of having above the cutoff scores in EAI or AAI in each sport could indicate larger IPEDs consumption regardless of the discipline. In light of the current findings, it is necessary to better define the “non-excessive” levels of exercise in various sport disciplines and an adequate intake of IPEDs to ensure the safety and well-being of people during a pandemic. (shrink)

The use of robots had already been proven to encourage the promotion of social interaction and skills lacking in children with Autism Spectrum Disorders, who typically have difficulties in recognizing facial expressions and emotions. The main goal of this research is to study the influence of a humanoid robot to develop socio-emotional skills in children with ASD. The children’s performance in game scenarios aiming to develop facial expressions recognition skills is presented. Along the sessions, children who performed the game scenarios (...) with the robot and the experimenter had a significantly better performance than the children who performed the game scenarios without the robot. The main conclusions of this research support that a humanoid robot is a useful tool to develop socio-emotional skills in the intervention of children with ASD, due to the engagement and positive learning outcome observed. (shrink)

A set X is prime bounding if for every complete atomic decidable (CAD) theory T there is a prime model U of T decidable in X. It is easy to see that $X = 0\prime$ is prime bounding. Denisov claimed that every $X <_{T} 0\prime$ is not prime bounding, but we discovered this to be incorrect. Here we give the correct characterization that the prime bounding sets $X \leq_{T} 0\prime$ are exactly the sets which are not $low_2$ . Recall that (...) X is $low_2$ if $X\prime\prime$ $\leq_{T} 0\prime$ . To prove that a $low_2$ set X is not prime bounding we use a $0\prime$ -computable listing of the array of sets { Y : Y $\leq_{T}$ X } to build a CAD theory T which diagonalizes against all potential X-decidable prime models U of T. To prove that any $non-low_{2}$ ; X is indeed prime bounding, we fix a function f $\leq_T$ X that is not dominated by a certain $0\prime$ -computable function that picks out generators of principal types. Given a CAD theory T. we use f to eventually find, for every formula $\varphi (\bar{x})$ consistent with T, a principal type which contains it, and hence to build an X-decidable prime model of T. We prove the prime bounding property equivalent to several other combinatorial properties, including some related to the limitwise monotonic functions which have been introduced elsewhere in computable model theory. (shrink)

Music can reduce stress and anxiety, enhance positive mood, and facilitate social bonding. However, little is known about the role of music and related personal or cultural variables in maintaining wellbeing during times of stress and social isolation as imposed by the COVID-19 crisis. In an online questionnaire, administered in 11 countries, participants rated the relevance of wellbeing goals during the pandemic, and the effectiveness of different activities in obtaining these goals. Music was found to be the most effective activity (...) for three out of five wellbeing goals: enjoyment, venting negative emotions, and self-connection. For diversion, music was equally good as entertainment, while it was second best to create a sense of togetherness, after socialization. This result was evident across different countries and gender, with minor effects of age on specific goals, and a clear effect of the importance of music in people's lives. Cultural effects were generally small and surfaced mainly in the use of music to obtain a sense of togetherness. Interestingly, culture moderated the use of negatively valenced and nostalgic music for those higher in distress. (shrink)

A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a d-decidable homogeneous model A, i.e., the elementary diagram De (A) has degree d. It follows from results of Macintyre and Marker that every PA degree (i.e., every degree of a complete extension of Peano Arithmetic) is homogeneous bounding. We prove that in fact a degree is homogeneous bounding if and only if it is a PA degree. We do this by showing that there is a (...) single CD theory T such that every homogeneous model of T has a PA degree. (shrink)

It is shown that for every nonzero r.e. degree c there is a linear ordering of degree c which is not isomorphic to any recursive linear ordering. It follows that there is a linear ordering of low degree which is not isomorphic to any recursive linear ordering. It is shown further that there is a linear ordering L such that L is not isomorphic to any recursive linear ordering, and L together with its ‘infinitely far apart’ relation is of low (...) degree. Finally, an analogue of the recursion theorem for recursive linear orderings is refuted. (shrink)

Zu den Charakteristika philosophischer Spiritualität in der Spätantike gehört das besondere Interesse sowohl für Hierarchien als auch für Rituale. Dazu zählen einerseits sich stetig vervielfachende Stufen einer metaphysischen Ontologie, die zugleich als Hierarchie göttlicher oder auch dämonischer Wesen gefasst wird, andererseits nicht nur die Diskussion über Kultpraktiken, sondern auch deren intensivierte Ausübung. Vorstellungen eines stufenweisen Ab- und Aufstiegs der Seele sowie der Begegnung mit den unterschiedlichen Klassen höherer Wesen im Rahmen theurgischer Rituale verbinden diese beiden Aspekte; so kann sich schliesslich (...) der Gedanke entwickeln, der vollkommene Philosoph sei der vollkommene Theurg. Der vorliegende Band nimmt derartige Phänomene anhand der Chaldaeischen Orakel, des Hermetismus, der Gnosis sowie mittel- und neuplatonischer Autoren in den Blick und nimmt dabei auch Bezug auf christliche Perspektiven aus der Antike und der frühen Neuzeit sowie auf den soziokulturellen Hintergrund."--Back cover. (shrink)

A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let ε denote the structure of the computably enumerable sets under inclusion, $\varepsilon = (\{W_e\}_{e\in \omega}, \subseteq)$ . We previously exhibited a first order ε-definable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has (...) a certain "slowness" property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A ∈ ε there exists B in the orbit of A such that X ≤ T B under relative Turing computability (≤ T ). We produce B using the Δ 0 3 -automorphism method we introduced earlier. (shrink)

In December 2019, 18 years after the outbreak of SARS, a new SARS-like virus began to circulate and rapidly spread in the People's R...

By constructing a maximal incomplete d.r.e. degree, the nondensity of the partial order of the d.r.e. degrees is established. An easy modification yields the nondensity of the n-r.e. degrees and of the ω-r.e. degrees.

J. N. Crossley [1] raised the question of whether the implication 2 + A = A ⇒ 1 + A = A is true for constructive order types (C.O.T.'s). Using an earlier definition of constructive order type, A. G. Hamilton [2] presented a counterexample. Hamilton left open the general question, however, since he pointed out that Crossley considers only orderings which can be embedded in a standard dense r.e. ordering by a partial recursive function, and that his counterexample fails to (...) meet this requirement. We resolve the question by finding a C.O.T. A which meets Crossley's requirement and such that 2 + A = A but 1 + A ≠ A. At the suggestion of A. B. Manaster and A. G. Hamilton we easily extend this construction to show that for any n ≧ 2, there is a C.O.T. A such that n + A = A but m + A ≠ A for 0 < m < n. Hence, Theorem 3 of [2] and all of its corollaries hold with the new definition of C.O.T. The construction is not difficult and requires no priority argument. The techniques are similar to those developed in [3], but no outside results are needed here. (shrink)

By constructing a maximal incomplete d.r.e. degree, the nondensity of the partial order of the d.r.e. degrees is established. An easy modification yields the nondensity of the n-r.e. degrees and of the ω-r.e. degrees.

The object of this paper is to explain a certain type of construction which occurs in priority proofs and illustrate it with two examples due to Lachlan and Harrington. The proofs in the examples are essentially the original proofs; our main contribution is to isolate the common part of these proofs. The key ideas in this common part are due to Lachlan; we include several improvements due to Harrington, Soare, Slaman, and the author.Our notation is fairly standard. If X is (...) an r.e. set, Xs is the finite set of elements enumerated in X before step s. if Ф is a recursive functional, Фs is the approximation to Ф at step s; it only queries the oracle about numbers xi and iless-than-or-equals, slantx; and right-pointing angle bracketx0,...,xk−1right-pointing angle bracket is an increasing function of each of its arguments. Sets are sometimes identified with their characteristic functions. Wj isthe jth r.e. set. Xc is the complement of X. (shrink)

The COVID-19 pandemic has affected the way many people live their lives. The increasing amount of time spent indoors and isolated during periods of lockdown has been accompanied by an increase in the time people spend playing video games. One such game which soared in popularity during the early stages of the pandemic was Animal Crossing: New Horizons. Through semi-structured interviews with players, and using a theory-informed qualitative analysis, we document and examine players’ motivations and experiences playing Animal Crossing: New (...) Horizons during the pandemic. Findings suggest that playing the game helped satisfy various psychological needs—autonomy, relatedness, and competence—as described by Self-Determination Theory. Conversely, players stopped playing the game when they found that their psychological needs were thwarted or better met through other activities. Our findings offer support that video games can offer psychological relief in stressful contexts by providing opportunities for people to satisfy key psychological needs. Theoretical and practical implications are discussed. (shrink)

This report analyses the aplicability of the principles of consciousness developed in the ASys project to three of the most relevant cognitive architectures. This is done in relation to their aplicability to build integrated control systems and studying their support for general mechanisms of real-time consciousness. To analyse these architectures the ASys Framework is employed. This is a conceptual framework based on an extension for cognitive autonomous systems of the General Systems Theory (GST). A general qualitative evaluation criteria for cognitive (...) architectures is established based upon: a) requirements for a cognitive architecture, b) the theoretical framework based on the GST and c) core design principles for integrated cognitive conscious control systems. (shrink)

Bayesian psychology, in what is perhaps its most familiar version, is incomplete: Jeffrey conditionalization is not a complete account of rational belief change. Jeffrey conditionalization is sensitive to the order in which the evidence arrives. This order effect can be so pronounced as to call for a belief adjustment that cannot be understood as an assimilation of incoming evidence by Jeffrey's rule. Hartry Field's reparameterization of Jeffrey's rule avoids the order effect but fails as an account of how new evidence (...) should be assimilated. (shrink)

Розкрито сутність поняття «рейтинг». Доведено значущість рейтингової оцінки для суб’єктів фінансового ринку, зокрема для страхових компаній, потенційних страхувальників, інвесторів та кредиторів.

There is no set Δ of probability axioms that meets the following three desiderata: (1) Δ is vindicated by a Dutch book theorem; (2) Δ does not imply regularity (and thus allows, among other things, updating by conditionalization); (3) Δ constrains the conditional probability q(·,z) even when the unconditional probability p(z) (=q(z,T)) equals 0. This has significant consequences for Bayesian epistemology, some of which are discussed.

In this paper, I derive a syntactic procedure for revising theories in propositional logic from considerations of indifference and informational economy (minimality). The procedure is very flexible. It allows us to make use of information about the relative epistemic merit (entrenchment) of the sentences in the theories whenever such information is available, and, unlike other procedures proposed in the literature, yields plausible results even for very simple entrenchment orderings.

Este livro apresenta Comte e seu Positivismo em linguagem clara e despretensiosa, pois é de alguém que conhece o que está escrevendo. A vida, a obra, a religião, a difusão e a irradiação do Positivismo no RS e no Brasil, e mais a educação e arte positivista em Porto Alegre são temas desenvolvidos com maestria por Mozart Pereira Soares.

Evidential Decision Theory and Causal Decision Theory are the leading contenders as theories of rational action, but both face counterexamples. We present some new counterexamples, including one in which the optimal action is causally dominated. We also present a novel decision theory, Functional Decision Theory, which simultaneously solves both sets of counterexamples. Instead of considering which physical action of theirs would give rise to the best outcomes, FDT agents consider which output of their decision function would give rise to the (...) best outcome. This theory relies on a notion of subjunctive dependence, where multiple implementations of the same mathematical function are considered to have identical results for logical rather than causal reasons. Taking these subjunctive dependencies into account allows FDT agents to outperform CDT and EDT agents in, for example, the presence of accurate predictors. (shrink)